1. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
2. Diamond :
Author: N.S. Hellerstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Paradox.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Paradox.
Classification :
QA9
.
H396
2010eb
3. Introduction to metamathematics
Author: Kleene, Stephen Cole, 9091-4991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Metamathematics,، Logic, Symbolic and mathematical
Classification :
QA
9
.
8
.
K54
1971
4. Logic, semantics, metamathematics
Author: Tarski, Alfred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
BC
135
.
T35
5. Logic, semantics, metamathematics :
Author: by Alfred Tarski ; translated by J.H. Woodger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
Classification :
BC135
.
T35
1983
6. Logic, semantics, metamathematics :papers from 1923 to 1938
Author: Tarski, Alfred.
Library: Library of Mofid University (Qom)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
BC135
.
T35
1983
7. Logic, semantics, metamathematics: papers from 1923 to 1938
Author: Tarski, Alfred.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,Semantics )Philosophy(
Classification :
BC
135
.
T35
8. Metamathematics of Fuzzy Logic
Author: by Petr Hájek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
9. The collected papers of Gerhard Gentzen.
Author: Edited by M. E. Szabo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Metamathematics
Classification :
QA9
.
G329
10. Thinking about G?del and Turing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
11. Thinking about G?�del and Turing
Author: / Gregory J Chaitim
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
Classification :
QA
,
9
.
65
,.
C43
,
2007
12. Undecidable theories
Author: / by Alfred Tarski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Metamathematics,Logic, Symbolic and mathematical
Classification :
E-BOOK
